#include <stdio.h>
#include <ncurses.h>
#include <menu.h>
#include <malloc.h>
#include "kernel.h"


/**
 * Selezione del kernel da installare
 */
int kernel_select()
{
	char *menu_list[] =
	{
			"generic",
			NULL
	};
}
